Added a BUG comment.