fixed a small issue regarding const