The bug of Module Syntax