Issue #20: fixing checkstyle warning