fixes bug introduced in 4c77de1f429577b66c7b23c1601477612173b4ad