Corrections after running on linux.