fixed minor mistake from previous push