A few more documentation bugs