monadx test: refine bug info