Correction: Time trends in access to smoking cessation support for people with depression or severe mental illness: a cohort study in English primary care (BMJ Open)