add comment noting a minor bug