Adding to .ir docs fixes #31