minor tweak to the Quint script