Small tweaks to tint2 and Openbox