bugfix for double conversion