Fixing a few bugs with eval printer and add module printing