New JBMS paper, this fixes #8