Those docs are fixed up if you want to take a look now.