Fix for Javadoc 8.