add missing semis. fixes #1489