With tiny stuff like this am I fine to push straight to master or do you want PRs for everything still?