Bugfix for build error