Bugfix of proposed symbolic name filtering