Little bit of cleanup in docs