Merge pull request #4758 from RosettaCommons/roccomoretti/master_fixes
Quick fixes to master
Some issues in master that were easy fixes - beautification, removing a using,and being clear about namespace.
notify author
notify list [rosetta-logs@googlegroups.com]