Minor cleanup.
Merge pull request #477 from chriseth/sol_someCleanup

Minor cleanup.