bug corrections.