Manual: Fix typo

Fixes #1363.