better IP regex (issue #37)