Fix GUARDED_BY_VIOLATION