dummy return values to make things happy