Remove import of @<- and fix a typo in a user message