bugfix for FB Linter