Minor fix: don't forget to change the directory.