Minor changes in windowmanager.cpp