Fix for #1.

This fixes #1.