A tiny bit of documentation.