Corrections and implementations