Tweak coding style as per @ebidel’s comments

Ref. #95.