Potential fix for inferred types, in certain cases

A potential stability problem emerged by which the
Scala compiler may infer different return types in
certain cases; according to Adriaan, this commit
could be a fix.