Fix for generating documentation

Introduced a syntax error in PR #2161, whoops! This fixes it, and documentation builds correctly.