minore fixes