Updating docs

Signed-off-by: Juan C. Méndez <jcmendez@alum.mit.edu>