That was "just" a comment. Aynway it is later fixed in 72dc538003181ecf9c393664b8352346edefabfe