Other small docs improvements