Checking in some more Annotations