Fix external contract in README to a builtin.