Gnome Sound Recorder in Trisquel 7

I cannot record woth this app. The audio source selector has one
option-- Master, which is correct, I think, but I cannot choose a
recording type. The selector labeled "record as" opens, but there are
no choices; should be 'ogg', 'mp2', 'mp3', etc. The Record button seems
to do nothing, yet it is visible.

Thanks,

Dave