Changing Coqs silly strings