Fix def-noargs-function wrong module reference