Typo and fixes for #10