Typing fixed