Low priority: minor corrections