Adonis: fix a very stupid problem in library.