Nah… Then in other places I'd have to cast array() to string[] as well (which takes cpu time…). Since these objects are only returned to the user, but not created by him, I consider this safe.