seems possible error-prone to have a similar error message in two different places