Removed spurious documentation