Small fix in 23 b)