small edits post-debugging on another Mac