Ah, right. We should remove this then instead of just commenting it out.