Small documentation cleanup.