- Fixed ICSE formatting issue