Inline docs fix for Device constructor