fix omission in docs