Corrected an oversight in documentation