Fixed a tiny bit of documentation