The whole `if` block is not needed anymore, see #798.