Small simplification of bkzLoop()