entitlement separator is a semicolon (fixes #88)