just formatting

Signed-off-by: Willi Ye <williye97@gmail.com>