Just a simple change for consistency's sake.
rebased onto 045f6df05f938eafca49ad09f14d8a1023732f10
Looks good to me, thanks!
Pull-Request has been merged by pingou
Just a simple change for consistency's sake.