Small correction on naming caused by the prior merge