fix tiny typo (causing travis build to fail)