I don't think it's necessary to mention this (and the need will probably go away over time).