howto: fixed bad "indentation"