Don't prepend identifiers for opened modules explicitly.