Is error correction useful for second language acquisition?