remove these lines; they're never used