changed some internal definitions