Some improvements to reflac