1314: minor change