I believe I removed this function for a good reason, i.e. it worked wrong before. Please double check my checkin about this.