diff --git a/src/rp2_common/pico_btstack/doc.h b/src/rp2_common/pico_btstack/doc.h
index f8db953ee..0adf21901 100644
--- a/src/rp2_common/pico_btstack/doc.h
+++ b/src/rp2_common/pico_btstack/doc.h
@@ -3,7 +3,7 @@
  * \brief Integration/wrapper libraries for <a href="https://github.com/bluekitchen/btstack">BTstack</a>
  * the documentation for which is <a href="https://bluekitchen-gmbh.com/btstack/">here</a>.
  *
- * A supplemental license for BTstack (in addition to the stock BTstack licensing terms) is provided <a href="https://github.com/raspberrypi/pico-sdk/blob/master/src/rp2_common/pico_btstack/LICENSE.RP>here</a>.
+ * A supplemental license for BTstack (in addition to the stock BTstack licensing terms) is provided <a href="https://github.com/raspberrypi/pico-sdk/blob/master/src/rp2_common/pico_btstack/LICENSE.RP">here</a>.
  *
  * The \c \b pico_btstack_ble library adds the support needed for Bluetooth Low Energy (BLE). The \c \b pico_btstack_classic library adds the support needed for Bluetooth Classic.
  * You can link to either library individually, or to both libraries thus enabling dual-mode support provided by BTstack.
diff --git a/src/rp2_common/pico_platform/include/pico/platform.h b/src/rp2_common/pico_platform/include/pico/platform.h
index e263b42cc..017680b7c 100644
--- a/src/rp2_common/pico_platform/include/pico/platform.h
+++ b/src/rp2_common/pico_platform/include/pico/platform.h
@@ -77,6 +77,7 @@ extern "C" {
 
 /*! \brief Marker for an interrupt handler
  *  \ingroup pico_platform
+ *
  * For example an IRQ handler function called my_interrupt_handler:
  *
  *     void __isr my_interrupt_handler(void) {