Editorial: Fixing police discipline in San Francisco