Debug issig2 in Record.v
Merge pull request #130 from SkySkimmer/master

minor debug