Bug fix

No more time today to do anything but a simple bug fix. No bugs known as
of today. Hooray.