More small corrections