Pedantic typo fix

Missed this one, should have been in the last commit :)