minor addition of docs\!