fix meaningless typo, hoping travis failure was glitch