The trailing star case should be `case (false, true, _)`, methinks.  At original line 1884, it doesn't care.