If you didn't do the oil change yourself, whom ever did it probably short changed you a bit. Just keep an eye on it after you topped it back up.
Like you said...hopefully, it's nothing.

GL.