A note on Schrijver's submodular function minimization algorithm