typos and other little pedantries