small fix of Tools menu showing