Small fixes

I fixed issues #71 and #72.