Developer comment error correction

Made some minor changes to developer comments to correct errors that
were present in sections that described the functionality. No changes in
actual functionality, or user experience.