Fixes for @randx

Change-Id: I3b15ae34c0957a0f4026e1886c92a9770e9d170e