[minor annotation] explode always returns array except delimiter is empty, but we have hardcoded ";".  Necessary check?