Small fixes for recent documentation changes.