Use more portable syntax