Nice, much tidier than my solution. Mine is a similar pump with a piece of tubing on it the length of the machine's water jacket. The pump sits in the space below the tank magnet and the tube extends to the end of the tub where the pump is in your setup. This way, the water is sucked from close to the tank and transported to the end of the tank, forcing it round in circles. Doesn't look particularly pretty, but it gets the job done.
Although in all honesty, I doubt the pump is a necessity to begin with. I use it more as a peace of mind thing, really.