Small fix for 3.12.1