Documentation mistake corrected