Various documentation improvements suggested by Bulat Ziganshin