Even tinier fix