This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In 14.6 "Frames and framesets", in the first algorithm, in step 8, in the sub-algorithm for "frame border color", step 2 says: Otherwise, if the element has a parent element that is a frameset element, then the frame border color of that element. After "then", insert "return".