fix #8037: set microrefence correctly