Removed obsolete property (I hope)