specification::examples corrected