fix bug introduced in recent commit