correct typing