Annotation stuff (unknown state or purpose of this code!)