The above two lines could be combined.