Fix bug in helper library.