substituted dotty with simpler module