(read_varables) Fix msg() bug found by -Wformat.