Deleted some forgotten leftovers