Bugfixes to fluxbox config