bug in previous fix of #18 caused save of updated Krav not to be working; fix #15