bugfix in platforms