Some changes to the comments preceding the constructors