Some changes to style

1 job for devkit-style-changes in 10 minutes and 6 seconds (queued for 2 seconds)