more minor cleanup in Seen plugin