Minor corrections and updated list of developers