This reverts commit 399065f2. I am blind, this was already checked above. Thanks @bjornfor for noticing.