Fix for 3.12.