This used to be true, but I think you can remove it now.