string: minor nits by yours truly