slight cleanup of docs