fix bug introduced in 7a81c05