Fix wrong pragma