bugfix for 0.72