Merge pull request #978 from echampet/ikdasm-spec