Minor edits for #56