FIX: bug in misc.split_regex