The info page displays 8.4 and the extension displays 8.5. I think this is probably an inconsistency in how rounding is done