Removing a useless inclusion