I'm not that familiar with github yet. So I ended up having the simple changes in one pull request, but from two different commits. Hope that works out fine.