This if block is not required -- this case is covered after the else.