sorry Alex, this is a bug we found running Havana. A return statement is missing here