Police say there was a build-up of gas in a coke oven, and that the release of that gas through a safety valve caused a minor explosion and small fire.