Minor style change

Kibit suggestion