Separate commit is fine.  If you're comfortable making it a separate PR, that's great.