[Pollen-commits] 01/16: Hack to fix #332 : Really not clean, but working