more editorial nits; properly ack hildjj