make it fits in 80 chars per line
Merge branch 'project2' of https://github.com/jiazhihao/pintos into project2