minor edits to #14