travis ci, badge, and some tinyfix