Is the case correct here?