a bit of documentation cleanup