minor tweaks to the namespace hover