Fix a bug in the call of write_placement_file