fixed bug introduced by auto-formatting