Added property annotations.