fix pesky type=int bug (this is like the third time I'm bitten by this)