Fix previous checkin, hopelessly broken as it was; reported by Detlef Lannert.
1 file changed