[bugfix] Correct markup on ChecksumExpr