Fix Javadoc code snippet.