Some small edits to #52