Documentation nit-picking

Signed-off-by: Aaron Russo <arusso@berkeley.edu>