Made the header Xcode 5 documentation-friendly

/*!really, really minor change*/