minor changes in instruction counter