Fixed getters for device properties