What the World Health Organization really said about mixing COVID-19 vaccines