Fixup: ws_array_append() return type