Maybe this comment doesn't apply anymore?