Added the workaround to the issue #507; specific to the use of
ParseTree.rsc.