Avoid locally overriding Python's default identifiers
Fix license