Bugfix for an error message: print the correct value.