! bugfix: wrong format of double