9.16. (little fixes)