a bit of docs cleanup