Minor bug fix (to match changes in main platform).