another small typographic nit