Web interface does not reflect workspace specific WPS enabled/disabled properly

On a fresh geoserver install - with jetty, manual startup.

• Stop the process.

• Install WPS plugin for the specific version 2.7.2

• Start with bin\startup.bat

• Open web interface http://localhost:8080/geoserver/web

• Login as admin

• Left menu > Data > Workspaces > tiger

• Under "services", WPS is not checked, however, requests to WPS do work under /tiger/, e.g: http://localhost:8080/geoserver/tiger/ows?service=wps&version=1.0.0&request=GetCapabilities

• There is no wps.xml config file in the workspace folder, inside the data directory.

• In the previous screen (tiger workspace), i click on the WPS checkbox and save.

• A wps.xml config file has been created in the workspace folder, with /wps/enabled set to true

• Left menu > Services > WPS > In dropdown, select "tiger"

• "Enable WPS" is checked, i uncheck it

• /wps/enabled is now set to false in the wps.xml config for the workspace

• WPS requests to tiger are now rejected (as they should): http://localhost:8080/geoserver/tiger/ows?service=wps&version=1.0.0&request=GetCapabilities

• I check "Enable WPS" again, and requests are accepted again.

Restart geoserver (shutdown.bat + startup.bat)

WPS capabilities request are accepted.
wps config for the workspace says /wps/enable is true
However, web interface shows

• Left menu > Workspaces > tiger > Services > WPS unchecked

• Left menu > Services > WPS does not show a "tiger" option in dropdown