a little documentation cleanup