fixes bug introduced in last push.