fixes #19. Not sure if there was ever a bug.