ICMC workshop -- minor fix