Minor changes in jmod.son.model's interface