re #7912 add a return