Bugfix now compiles