Added comment about possible bug.