Some minor documentation cleanup