Bug fixes

• a problem in the database
• a problem related to connecting to the Internet via a Microsoft proxy server
• a problem with user agents which caused the application to get wrong results