Trivial fixes to developers' names.