Decrement version to 0.5.0; don't want to get ahead of myself ...