Errors in typing