bugfix #12