fix little code style issue, followup to #18