Remove some extraneous ` from the documentation