issue #14: fixed minor indentation problems