info: change the prefix of info() output to "INFO: "