MISC: update README, fix a potential bug in the logic for generated symbols.