prettier code, some doc updates