Use normal array syntax to support PHP <5.4 (fixes #411)