The bug, I think is actually having a case statement without an else.  If something doesn't match an expected case, it will always crash without an else.

Adding in the new Documentation violation, I think, is a feature, not a bug fix