Corrections concerning #6