Add minor improvements for documentation build