This could probably be removed, or perhaps turned into some sort of documentation comment about the `badfun` issue?