Fix example to use the right module name