Fix a type found by scott

Well, my face is red.