fixes bug introduced in #1110