This commit patches an error in the definition of the overhang depth.