Followup to feature #14465: Remove extra semicolon at end of line