Fix markup for -debug-only option