Revert "minor bugfix"

This reverts commit 15d22664321ed7119ded89ba5d18af3244c295ed.