Bug fix to library definition