Fixed formatting for UIST paper