Small documenation and file header corrections.