minor fix to help serialization