Related to #725, shorten the error string a bit