Version 1.16: minor update