Small fix so that travis-ci will pass.