'syn.debug' would be better here, since it's assumed that args.debug (in 'main()') has already been passed into 'syn'.  It would also make the behavior consistent between methods.