Bit of documentation, small cleanups