syntax fix #524