Minimum test case for a postgres array bug