column "pid" does not exist

Hi all

When I use pgAdmin 4, I have my log every few seconds filled with the following error message (see also attached "pgadmin4.log"):

2018-08-07 09:00:52,512: ERROR pgadmin: Failed to execute query (execute_dict) for the server #1- DB:postgres (Query-id: 842972):
Error Message:ERROR: column "pid" does not exist
LINE 3: pid,
^

I assume it is because the "pid" column in "pg_stat_activity" was named "procpid" on PostgreSQL 9.1 and older. pgAdmin 4 does not seem to check the PostgreSQL version and use the appropriate name, it just assumes it's talking to 9.2 or newer.
A possible candidate would be the "activity.sql" in "web\pgadmin\dashboard\templates\dashboard\sql\default"

PgAdmin:
Version 3.1
Python Version 3.6.5 (v3.6.5:f59c0932b4, Mar 28 2018, 16:07:46) [MSC v.1900 32 bit (Intel)]
Flask Version 0.12.2
Application Mode Desktop
Current User pgadmin4(at)pgadmin(dot)org

OS:
Windows 7

PostgreSQL: (select version();)
PostgreSQL 9.1.24lts2 on x86_64-unknown-linux-gnu, compiled by gcc (Debian 4.7.2-5) 4.7.2, 64-bit