Compilation instruction; typos.