Is this correct? I don't think this is ever called.