Javadoc improvements.
Javadoc improvements.
Make room for other types of errors.