minor bug fix
Merge branch 'design_integration' of github.com:Cal-CS-61A-Staff/ok into design_integration
Merge branch 'design_integration' of github.com:Cal-CS-61A-Staff/ok into design_integration