Bug correction due to automatic format