Missing space: "InnoDB: innodb_open_files 425000 should not be greaterthan the open_files_limit 1024"

2017-11-01 14:48:23 140649331915648 [Warning] InnoDB: innodb_open_files 425000 should not be greaterthan the open_files_limit 1024

$ grep -r 'should not be greater' -A 1 storage/*/handler/ha_innodb.cc

storage/innobase/handler/ha_innodb.cc:			   << " should not be greater"

storage/innobase/handler/ha_innodb.cc-			   << "than the open_files_limit " << open_files_limit;