several references to non-standard modules