Follow-up to cebf671180 to fix minor nits in documentation