updated comments. added another assertion