Fix error

Fix error caught by Travis build. For pull request #3368