Fix a Typing Problem