Flight 1539 from Orlando to Houston was diverted to Pensacola International Airport, airline spokesman Brian Parrish said. The smell of fumes reported in the back of the aircraft was determined to have come from a coffee maker in the cabin, he said.