Bug fix reset.v (port names...)