other small corrections