Bug in marshalling