String formatting bugfix