Corrections to implementations.