Fix some Inferno documentations.