Update history for #566

Fix nodoc