Fix bug from last push.