fix bug introduced with previous commit