fix two small glitches in xcode filter