typo and missing import reported by Travis