Fixed format error in online manual.