Issue #87: Quick indent fix