Fixed some Fluxbox config problems