but this was not the case