Simple fix for #6.