Minor change in Dev Doc