Fixed compile error in with-module example