Tiny bit of corrections on code snippets post