oops, missed one (fixes #14)