Fix a pretty silly bug with erroneous autoloading.