miner destroys the ceiling correctly but other pingus can't follow

[Maria Kaldewey]

Dear Pingus-Team,

while playing the level "Miner's Heaven" from the Levelset "Tutorial" under version 0.7.3.5 (Ubuntu 10.10) a miner destroyed the ceiling (horizontal) correctly but although he did go through and fell down a little layer of material remained and thus blocked the following pingus. If you make the miner exit the material vertically (like through a wall) it works correctly.

I then copied this level and played it under version 0.7.2.0 where it worked correctly: miner pushed through ceiling and all pingus did follow.

Thanks and best regards from a newcomer,
Maria.