Removed a superfluous header file from wm.cpp.