Minor fixes on #design, #typos

Really only small stuff I stumbled over while installing my PAPI.