Small CMAKE fix