Fix info command

The "info" command has been broken on NixOS since
457fdb38425fd00378f213f9bd5c306ed99395bf (proving that nobody uses
info).