a little cleanup for ros-docs