Bugfix in supervisor spec