Pushing a small change directly to master related to the earlier commit