Small change due to travis-ci complain