Use non-greedy regexps, for safety.