fix syntax error for Icarus