fix a deleted 'then'