Bugfix: formatting character missing in the error message