minor tweak to ioctl