fixed a merging mistake in pro.properties