Corrections are added for travis-ci.