can we make these two error messages distinct for debugging purposes?