[COI] Minor bug in the default compiler (missing a ;)