Issue #AR-1_serialization: rename file