Internal names for restaurants.

Also fixed a bug in parsing of special symbols.