This looks wrong, because "options" could be NULL - at least that's what the code in the previous comment was thinking.