Fix formatting for benchmark-driver documentation