minor tweaks
update to Gazebo 1.3.1