Fix the following bug: