bugfix for loading double