more doc for trickle.h