Travis CI status and a few small updates