small formatting changes, and do not check zero-length words in the dictionary