Fixed one of the permission errors uncovered in ISTS 10