Fix for bug resulting from introduced array instead of set