extra info for verlog

just to not forget