Property annotations updated