fix to method specification, added verify/specify libs