tools: fixup for last (98255db, magit issue)