This was a superfluous change in order to get Travis to build again since it missed the push hook for one of the forced commits.