Manual PDF broken

Fixed now, thanks for reminding!