Fix missing semilicon