--- local/bin/xmlto	2004-02-28 21:43:43.156224000 +0530
+++ /usr/bin/xmlto	2004-01-27 02:21:30.001000000 +0530
@@ -339,7 +339,7 @@
   XSLT_PROCESSED="$INPUT_FILE"
 else
   [ "$VERBOSE" -ge 1 ] && echo >&2 "Stylesheet: ${STYLESHEET}"
-  XSLT_PROCESSED="$XSLT_PROCESSED_DIR/$(basename "${INPUT_FILE%.*}").proc"
+  XSLT_PROCESSED="$XSLT_PROCESSED_DIR/$(basename ${INPUT_FILE%.*}).proc"
 
   if [ "$VERBOSE" -gt 2 ]
   then