write_tickle_script.py: minor changes