fix bug introduced in 6b2a4ff5