[optional] Editorial fix