fixing bug introduced in 9473e27157873b1864ea39c3e4b11df90cfef113