add change forgotten in cb649fc1f2e98e684ef6701a994adb164d48e128, really closes #1399