Bug fix: dot