Fixes #113     Quick fix before submit