(1) Update version number and (overlooked) copyright date.