(Some version history improvements.)