Fix API documentation: add another missing line.