Updating: adding some RD (read-only) annotations.