Just fixed a bit of documentation.