Somehow these edits got dropped.