Fix another inappropriate *tag* in documentation