Fix previous commit for 7.3