fixed a bug due to the introduction of $7.Ra in constructor calls.