more convenient formatting