add debug info; fix dot