diff --git a/master/rtdm.c b/master/rtdm.c
index f9a15b1c..97f1d9fa 100644
--- a/master/rtdm.c
+++ b/master/rtdm.c
@@ -43,10 +43,11 @@
 
 static int ec_rtdm_open(struct rtdm_dev_context *, rtdm_user_info_t *, int);
 static int ec_rtdm_close(struct rtdm_dev_context *, rtdm_user_info_t *);
-static int ec_rtdm_ioctl_nrt_handler(struct rtdm_dev_context *, rtdm_user_info_t *,
-        unsigned int, void __user *);
-static int ec_rtdm_ioctl_rt_handler(struct rtdm_dev_context *, rtdm_user_info_t *,
-        unsigned int, void __user *);
+static int ec_rtdm_ioctl_nrt_handler(struct rtdm_dev_context *,
+        rtdm_user_info_t *, unsigned int, void __user *);
+static int ec_rtdm_ioctl_rt_handler(struct rtdm_dev_context *,
+        rtdm_user_info_t *, unsigned int, void __user *);
+
 /****************************************************************************/
 
 /** Initialize an RTDM device.
@@ -214,7 +215,8 @@ static int ec_rtdm_ioctl_rt_handler(
             " on RTDM device %s.\n", request, _IOC_NR(request),
             context->device->device_name);
 #endif
-    result = ec_ioctl_rtdm_rt(rtdm_dev->master, &ctx->ioctl_ctx, request, arg);
+    result =
+        ec_ioctl_rtdm_rt(rtdm_dev->master, &ctx->ioctl_ctx, request, arg);
 
     if (result == -ENOTTY) {
 		/* Try again with nrt ioctl handler above in secondary mode. */