Fixed issue 3921 (0.7.3 release)