correct tcsh syntax #1245