Minore fixes