ompl/ompl — pull request #4 by davetcoleman (2014-05-31 08:53:44+00:00)
Title: Small fixes

Very minor, see commit descriptions.