manual: Fix class name (thanks Michael A Grady)