bugfix in toString