Fix #3

This fixes #3