[ci skip] A tiny optimization