Minor pedantry

Quick grammar fix towards the bottom