code grooming
minor #835 code grooming (keradus)

This PR was merged into the 1.4-dev branch.

Discussion
----------

code grooming

Commits
-------

177ac52 code grooming