developer.texi: fix spelling errors