JunOS: minor bugfix