BTW, error messages should start with lower case (i.e. `"an inner ..."`)