Bug detected. Proposals added.