Minor doc. update