Fix small shadow bug in definition module