Corrected typo bug, added design doc for userprog project