Bugfix for With and Record constructor