Fix issues #16 and #25