Fix a silly type error