Minor changes (pointed to case0.txt)