Some more herbstluftwm tweaks