fix bug--forgot to remove header file