Should a pocket gun have a heavy trigger???