Correct typo in JavaDoc.
Minor UI tweak.