fixup! Module implementation: