fixed bug introduced last push