Release version 3.9.4.