Fix minor bug in extractables