debug #547