Record Declaration Bug [dev.]