Sharp eye! I first read that as a non-greedy match. @bpot?