fix personaltools menu broken in recent commit.