Fix some todos in the documentation.