Some minor corrections

Pull request that should kick off Travis-CI