bug872