I hope this is correct behavior, though this method is not used elsewhere...