This seems unused. Is it some left-over?