Some minor fixes, and the conversion of all existing license and copyright comments into SPDX format.