Fix some pieces of documentation