Added proxyMention to module interface