Fixed missing ;then