Fixes some small mistakes in the whitepaper