Fixup: ws_array_append() missing type