Fixing last few bugs with new syntax. Fixing bug with case printing.