changed a smart semi-colon (very weird)