Correct typing