minor fix to dev guide per user comment