Fix missing symbol in README