Slightly change dev instructions.