I'd suggest a small change to make things clearer: instead of 'In that case', 'If this is not `document`,'. Currently this implies that focusing is only needed if the option is not specified.