RSRP-284890: Errorneous "Duplicate 'public' modifier"

Occured in
JetBrains ReSharper 6.1 EAP Full Edition Pre-Release
Build 6.1.20.125 on 2011-12-02T00:45:54

I added a property in the following class:

    public class ArgumentHelper
    {
        private readonly object[] _argsForCall;

        public ArgumentHelper(object[] argsForCall)
        {
            _argsForCall = argsForCall;
        }

        public TArgument FirstArgument<TArgument>()
        {
            return (TArgument) _argsForCall.First();
        }

        public TArgument Argument<TArgument>(int number)
        {
            return UntypedArguments.Skip(number-1).Cast<TArgument>().First();
        }

        // the property was added here

        // the public modifier of this method was highlighted
        public IEnumerable<TArgument> Arguments<TArgument>()
        {
            return _argsForCall.Cast<TArgument>();
        }
    }

        public object[] UntypedArguments
        {
            get { return _argsForCall; }
        }

Closing and reopening the file does fix the problem.