This code is actually from #3, so I won't deal with this.