- Fixed minor bug in shape_get_def