Small fixing to std_lib README file