[Anton] Quick bug fix