Fix updating of Page.last_rev_time upon save()

Please review this one, it seems that this piece of code has never been used/tested before.