Split Requires A Non Empty Pattern Match