Fixed some typos.
Note: page_table linking errors need to be fixed. The modules don't compile now!