Revert "Minor bugfix"

This reverts commit 3b415776ef0623f0da7793735543c05b3a7accaa.