diff --git a/docs/build_profiles.md b/docs/build_profiles.md
index a984cbe2e5..2cd4ef2704 100644
--- a/docs/build_profiles.md
+++ b/docs/build_profiles.md
@@ -1,11 +1,11 @@
 # Build Profiles
-Mbed 5.0 supports three primary build profiles, *default*, *debug* and *small*. When using
-the online compiler the *default* profile is used. When building from the command line
+Mbed 5.0 supports three primary build profiles, *develop*, *debug* and *release*. When using
+the online compiler the *develop* profile is used. When building from the command line
 the desired profile can be can be selected by adding the ```--profile <profile>```
-command line flag. Custom user defined profiles can also be specific by giving the path
+command line flag, but `develop` will be used by default. Custom user defined profiles can also be specific by giving the path
 the the profile.
 
-## Default profile
+## Develop profile
 * Small and fast code
 * Full error information - e.g. asserts have filename and line number
 * Hard to follow code flow when using a debugger
@@ -15,7 +15,7 @@ the the profile.
 * Full error information - e.g. asserts have filename and line number
 * Largest and slowest profile
 
-## Small profile
+## Release profile
 * Smallest profile and still fast
 * Minimal error information
 * Chip is put to sleep when going idle:
diff --git a/tools/options.py b/tools/options.py
index 21e7ccad42..adcbe5fb9a 100644
--- a/tools/options.py
+++ b/tools/options.py
@@ -100,7 +100,7 @@ def list_profiles():
     """
     return [fn.replace(".json", "") for fn in listdir(join(dirname(__file__), "profiles")) if fn.endswith(".json")]
 
-def extract_profile(parser, options, toolchain, fallback="default"):
+def extract_profile(parser, options, toolchain, fallback="develop"):
     """Extract a Toolchain profile from parsed options
 
     Positional arguments:
diff --git a/tools/profiles/default.json b/tools/profiles/develop.json
similarity index 100%
rename from tools/profiles/default.json
rename to tools/profiles/develop.json
diff --git a/tools/profiles/small.json b/tools/profiles/release.json
similarity index 100%
rename from tools/profiles/small.json
rename to tools/profiles/release.json