Fix for issue #588

Small documentation update to fix #588.