– see also Misdeclarations

Correction of errors