Minor edits for #54