Bugfix for #12