minor fix for 0.11