JBIDE-8276 small fix for completeness