Oops, that should have gone in bug 25415