Fix recent documentation format breakage.