Another small fix [ci skip]