Fix boltzmann.js