https://bugzilla.redhat.com/show_bug.cgi?id=1195375
--- Comment #2 from Dave Love d.love@liverpool.ac.uk --- I can change it if really necessary, but it has minimal changes from the RHEL source. Why is it worth the effort making it different (not a rhetorical question)? It seems more maintainable if anything to reflect the original.