fixed small mistake from last push