added a little doc
succeeded in fixing the "diverging implicit expansion"