Bug fix: minor