This patch fixes a problem which arose when using the Post-RA scheduler