This is good! But pls always separate things in PRs. You can always send a whitespace PR. I know this might sound a bit ridiculus here since its only one change, but its good practice in general and allows to merge faster.