More dson fixes, updated version number