This is commit bf16ccde484ce3b6d2a4b843e7ebc04a9b2a957d that appears to have been
unintentionally dropped by commit 905cb9dfd3ef197bb4b59039a1be76ce2c8e3099 (Implement
style configuration).

Whoops, merging is hard.
Thanks for catching this, applied to master.

For the future, please use git send-email instead of manually attaching the
patch file to your mail.... If you do that I can apply it with `git am`.

Cheers,
Reto