Bug fix in console serializer