Some copy-editing