Fix small issues in docs