I think this name could be better - as a reader I don't know what bug 5243 is, so describing the problem in the name would be a better approach IMHO.