Fix bug due to string formatting