fix bug introduced in 6c26cea1c8c80742fbf26196f9cb2440143d6e76 (fixes #12)