(Javadoc typos...)