Venting a badly installed cold flat roof using abutment vents and mushroom vents.