Is there code missing here?