diff --git a/ports/raspberrypi/bindings/cyw43/__init__.c b/ports/raspberrypi/bindings/cyw43/__init__.c
index 2fcda50af5..0856139569 100644
--- a/ports/raspberrypi/bindings/cyw43/__init__.c
+++ b/ports/raspberrypi/bindings/cyw43/__init__.c
@@ -38,7 +38,6 @@
 //|     Cannot be constructed at runtime, but may be the type of a pin object
 //|     in `board`. A `CywPin` can be used as a DigitalInOut, but not with other
 //|     peripherals such as `PWMOut`."""
-//|
 const mp_obj_type_t cyw43_pin_type = {
     { &mp_type_type },
     .flags = MP_TYPE_FLAG_EXTENDED,
@@ -49,7 +48,7 @@ const mp_obj_type_t cyw43_pin_type = {
         )
 };
 
-//| def set_power_management(/, value:int) -> None:
+//| def set_power_management(value: int) -> None:
 //|     """Set the power management register
 //|
 //|     According to Raspberry Pi documentation, the value 0xa11140
@@ -58,7 +57,6 @@ const mp_obj_type_t cyw43_pin_type = {
 //|     Besides this value, there appears to be no other public documentation
 //|     of the values that can be used.
 //|     """
-//|
 STATIC mp_obj_t cyw43_set_power_management(const mp_obj_t value_in) {
     mp_int_t value = mp_obj_get_int(value_in);
     cyw43_wifi_pm(&cyw43_state, value);