fix bug introduced by previous commit