Sorry Stefan :) I thought Chris had implemented that.
You're right. The other one is more efficient.