fixes a broken build (that was a nice test for Travis!)