test/hmc.cpp had a bug. Fixed.