It seems that these two comments should not be here.