More assorted pedantry

This is what happens if you work in technical documentation for too long