v4.0.1: Update definitions