Another redcarpet extension