Revert "tiny bugfix"

This reverts commit d788e0005c7cab3ef2387e1fc31e27b44c0d4316.