small fix from last push