Fix the (hopefully) last dash issue when building the manual.