fixup #443

- redo a change which was unintentionally reverted