Changed spec in cityville.erl