Corrections and documentation update