A proper jquery version number, just in case the API changes