split.pl: small patch