Sounds like silly nitpickery to me and not worth the bits its stored in.