Updated doc

sorry, forgot to push that...