Fix property annotations