Little corrections and documentation