Minor edit after proofreading

I really should do this before pushing, I know :(