Small correction

The last compiled version had some identation error. This is now
corrected.