fix include bug introduced by rushed commit last night

committing in a rush before you have to leave is always a bad idea!