Why is this module aliased here?