Bug correction about reusing library