add missing '; then'