#714: fixes