fix documentation encoding (latex complained), rename to correct spelling