an annoying typo that fixes the 2.11.x paradise build