A faster version