#14: fix for issue