Bumping version numbers in files forgotten earlier