Fix error in ASDF file
Hm, strangely enough, it works now ...