One wave of the population boom ended abruptly in the mid-1980s, as oil prices fell precipitously. The petroleum industry did not become a larger part of Houston's economy again for what reason?