small tweak fixes issue #18