[Guillaume86]

They would obviously fix it pretty quick if you reported something like that, the still open github issue is about pure styling/readability issue...