Fixes version number in update.php

But just in the comments.