[spaces.discontinuouslagrange] small include fix