minor menu tweak.