avoided the ambiguous "substr" alias for string.sub(). thanks Mike Pall.