Minor shortening in Resc