Fix error regarding missing module interface