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