Correction of bad declarations - implementations