small fix to STASys