diff --git a/library/ssl_tls.c b/library/ssl_tls.c
index 8f3d203de..6fa2e3a76 100644
--- a/library/ssl_tls.c
+++ b/library/ssl_tls.c
@@ -7426,7 +7426,11 @@ static void ssl_conf_remove_psk( mbedtls_ssl_config *conf )
          * user's responsibility. */
         conf->psk_opaque = 0;
     }
-    else
+    /* This and the following branch should never
+     * be taken simultaenously as we maintain the
+     * invariant that raw and opaque PSKs are never
+     * configured simultaneously. As a safeguard,
+     * though, `else` is omitted here. */
 #endif /* MBEDTLS_USE_PSA_CRYPTO */
     if( conf->psk != NULL )
     {