some polish, touch‐ups