Didn't we already check that case above?