update do-syntax