Florian Bomers - 2010-07-23

this is a fix for the 0.1.12 public release.