Added comment as to possible bug