fixes bug introduced with #1076