Formalized imports; simplified exception message