extensions, refinements and one error, which resists my fixing-tries today