Even cleaner wrapping in <module> tag instructions.