I've removed this function, since it's no longer needed. Done.