Minor adjustment in hilbert.bat