Sc

Miscellaneous fixes to the header file.