fix vbftight inputs