Fix oversight in documentation.