A tiny fix in Javadoc markup
1 file changed