@ teststrap.hpp: a mistake fixed