Small bugfix in toString().