fixed the regexp 'dotted decimal'