bug in permitting