fix copy + paste error from removing an include file