Fixing syntax error from previous commit for travis build (#729).