some comments and fixes in <zero/trix.h>