Fix description of #463