fixed minor bug caused by formatting