minor formatting issue. Should still get rid of that nasty \mbox{}.