Another bug solved!