Consistency, corrections and typos