Cosmetic cleanup in woverview.h