Couple more fixes for the docs