Fixes #19. Quick fix.