Fixed tiny bug with global restriction for STE