This looks like omitted code.