Fix license header.
Fix definition of loop in README.