We should remove this comment now.