Removed spurious include