final minor fix to get compilation working under beta 5