Little fixes

Is this comment enough?