Replaced generic output parameter name "O" by "D" ("O" is now reserved for Mealy machine outputs), fixed Ma*h*ler typo