Minor style change and minor fix.