Fixes an indentation issue in the manual.