add change forgotten in fa4164a1553a4c211b185f0c166863f1c82a47e7, really closes #1302