Corrected an error in the public documentation.