fixes #12

Code cosmetics.