Remarks on semiclassical quantization