- fixed a bug concerning property replacement