Fixed a small issue with string formatting