PRINCE: script.h - small comment correction