Fix bug in .info