fix stupid bug introduced in 30d1543f0