[ci skip] Issue #7: formatting