bug in info file naming