Minor edits for #53